recursively countable set

递归可数集合